モジュラー圏とLanglands双対性に関する完全な数学的解説

この記事では、モジュラー圏 (modular tensor category) とLanglands双対性 (Langlands duality) について、現在知られている事実と予想される事柄、および関連する主要な定理の完全な証明を徹底的に解説する。これまでのチャットの議論で得られた数理物理学、表現論、低次元トポロジーに関する結果を、一切の省略なく self-contained な形で収録する。

1. 基本概念の定義と例

モジュラー圏およびLanglands双対性を定式化するために必要な基本概念を厳密に定義し、理解を助ける例を追加する。

定義 (モノイダル圏と組み紐モノイダル圏) モノイダル圏 (monoidal category) とは、圏 $\mathcal{C}$、双関手 $\otimes \colon \mathcal{C} \times \mathcal{C} \to \mathcal{C}$、単位対象 $\mathbf{1} \in \mathcal{C}$、および自然同型 $\alpha_{X,Y,Z} \colon (X \otimes Y) \otimes Z \to X \otimes (Y \otimes Z)$（結合律子）、$l_X \colon \mathbf{1} \otimes X \to X$（左単位律子）、$r_X \colon X \otimes \mathbf{1} \to X$（右単位律子）の組であり、五角形公理と三角形公理を満たすものである。

組み紐モノイダル圏 (braided monoidal category) とは、モノイダル圏 $\mathcal{C}$ と、すべての対象 $X, Y \in \mathcal{C}$ に対する自然同型 $c_{X,Y} \colon X \otimes Y \to Y \otimes X$（組み紐構造）の組であり、六角形公理を満たすものである。

定義 (リボン圏) リボン圏 (ribbon category) とは、組み紐モノイダル圏 $\mathcal{C}$ であり、各対象 $X \in \mathcal{C}$ に対して左双対対象 $X^*$ と評価射 $\mathrm{ev}_X \colon X^* \otimes X \to \mathbf{1}$、余評価射 $\mathrm{coev}_X \colon \mathbf{1} \to X \otimes X^*$、さらに自然同型 $\theta_X \colon X \to X$（ツイストまたはリボン構造）が備わり、以下の条件を満たすものである。

$\theta_{X \otimes Y} = (\theta_X \otimes \theta_Y) \circ c_{Y,X} \circ c_{X,Y}$
$\theta_{\mathbf{1}} = \mathrm{id}_{\mathbf{1}}$
$\theta_{X^*} = (\theta_X)^*$

定義 (モジュラー圏) $\Bbbk$ を代数的閉体とする。リボン圏 $\mathcal{C}$ が $\Bbbk$ 上のモジュラー圏 (modular tensor category) であるとは、以下の条件をすべて満たすことである。

$\mathcal{C}$ は $\Bbbk$ 上のアーベル圏であり、すべての射集合は有限次元 $\Bbbk$ ベクトル空間である。
$\mathcal{C}$ は半単純 (semisimple) であり、同型を除き有限個の単純対象 $X_0, X_1, \dots, X_n$ を持つ。ここで $X_0 = \mathbf{1}$ とする。
双関手 $\otimes$ は両方の変数について双線型である。
$\mathcal{C}$ の $S$ 行列は非退化である。ここで $S$ 行列の成分 $S_{i,j}$ は、単純対象 $X_i, X_j$ に対し、自明な絡み目に対するホップ絡み目の不変量として次のように定義される。 $$ S_{i,j} = \mathrm{tr}(c_{X_j, X_i} \circ c_{X_i, X_j}) $$ ただし、$\mathrm{tr}$ はリボン圏における圏論的トレースである。

定義 (ルート系とコルート) $V$ を有限次元実計量ベクトル空間とし、内積を $(\cdot, \cdot)$ とする。$V$ の有限部分集合 $\Phi \subset V \smallsetminus \{\varnothing\}$ がルート系 (root system) であるとは、以下の条件を満たすことである。

$\Phi$ は $V$ を張る。
任意の $\alpha \in \Phi$ について、$\Phi \cap \mathbb{R}\alpha = \{\alpha, -\alpha\}$ である。
任意の $\alpha \in \Phi$ について、$\alpha$ に直交する超平面に関する鏡映 $s_\alpha$ は $\Phi$ を $\Phi$ 自身に移す。
任意の $\alpha, \beta \in \Phi$ について、$2(\alpha, \beta) / (\alpha, \alpha) \in \mathbb{Z}$ である。

$\alpha \in \Phi$ に対し、$\alpha^\vee = 2\alpha / (\alpha, \alpha)$ をコルート (coroot) と呼ぶ。$\Phi^\vee = \{\alpha^\vee \mid \alpha \in \Phi\}$ は $V$ におけるルート系をなし、これを $\Phi$ の双対ルート系と呼ぶ。

2. ルート系の自己双対性とその証明

双対ルート系のさらに双対をとると元のルート系に戻るという基本的な性質について、論理的なギャップのない厳密な証明を与える[cite: 1]。

証明任意の $\alpha \in \Phi$ に対し、そのコルートは $\alpha^\vee = 2\alpha / (\alpha, \alpha)$ で定義される[cite: 1]。仮定より $\Phi$ は $V$ を張り、$\Phi^\vee$ も $V$ を張る[cite: 1]。
定義より、$\alpha^\vee \in \Phi^\vee$ のコルート $(\alpha^\vee)^\vee$ は $$ (\alpha^\vee)^\vee = \frac{2\alpha^\vee}{(\alpha^\vee, \alpha^\vee)} $$ によって与えられる[cite: 1]。
ここで、内積の性質を用いると、 $$ (\alpha^\vee, \alpha^\vee) = \left( \frac{2\alpha}{(\alpha, \alpha)}, \frac{2\alpha}{(\alpha, \alpha)} \right) = \frac{4(\alpha, \alpha)}{(\alpha, \alpha)^2} = \frac{4}{(\alpha, \alpha)} $$ となる[cite: 1]。
これを $(\alpha^\vee)^\vee$ の式に代入すると、 $$ (\alpha^\vee)^\vee = \frac{2 \left( \frac{2\alpha}{(\alpha, \alpha)} \right)}{\frac{4}{(\alpha, \alpha)}} = \frac{4\alpha}{(\alpha, \alpha)} \cdot \frac{(\alpha, \alpha)}{4} = \alpha $$ が得られる[cite: 1]。
したがって、写像 $\alpha \mapsto (\alpha^\vee)^\vee$ は $\Phi$ から $(\Phi^\vee)^\vee$ への全単射を与え、内積構造を保存するため、両者はルート系として完全に同型である[cite: 1]。証明の完結[cite: 1]。

3. 量子群とモジュラー圏の構成および半単純化の証明

複素単純リー代数 $\mathfrak{g}$ の量子展開環 $U_q(\mathfrak{g})$ からモジュラー圏を構成する過程を解説する。$q$ を $1$ の原始 $l$ 乗根とする。$U_q(\mathfrak{g})$ の有限次元表現の圏 $\mathrm{Rep}(U_q(\mathfrak{g}))$ はリボン圏であるが、無限個の単純対象を持つためモジュラー圏ではない（非半単純である）。ここからモジュラー圏を構成するには、傾斜加群 (tilting module) の概念を用いる。

$\mathcal{T}$ を $U_q(\mathfrak{g})$ の傾斜加群からなる充満部分圏とする。$\mathcal{T}$ における射の集合に対し、圏論的トレースが $0$ となる射の全体からなるイデアル（ネグリジブル射のイデアル）で割った商圏を $\mathcal{C}(\mathfrak{g}, q)$ とする。Andersen, Jantzen, Soergel らの結果により、適切な $l$ のもとで $\mathcal{C}(\mathfrak{g}, q)$ はモジュラー圏となる。

証明まず、$\mathcal{N}$ がイデアルであることを示す。$f_1, f_2 \in \mathcal{N}(X,Y)$ とスカラー $c_1, c_2$ に対し、トレースの線型性から $$ \mathrm{tr}((c_1 f_1 + c_2 f_2) \circ g) = c_1 \mathrm{tr}(f_1 \circ g) + c_2 \mathrm{tr}(f_2 \circ g) = 0 $$ となり、$\mathcal{N}(X,Y)$ はベクトル空間である。次に、$f \in \mathcal{N}(X,Y)$ とし、$h \colon Y \to Z$ を任意の射とする。任意の $g \colon Z \to X$ に対し、トレースの巡回性から $\mathrm{tr}((h \circ f) \circ g) = \mathrm{tr}(f \circ (g \circ h))$ が成り立つ。$g \circ h \colon Y \to X$ と $f \in \mathcal{N}(X,Y)$ よりこの値は $0$ であり、$h \circ f \in \mathcal{N}(X,Z)$ となる。同様に右からの合成でも閉じており、$\mathcal{N}$ はイデアルである。

次に、テンソルイデアルであることを示す。$f \in \mathcal{N}(X,Y)$ と対象 $Z$ に対し、任意の $g \colon Y \otimes Z \to X \otimes Z$ との合成のトレースを考える。トレースの部分トレースへの分解により $$ \mathrm{tr}_{X \otimes Z}((f \otimes \mathrm{id}_Z) \circ g) = \mathrm{tr}_X(f \circ \mathrm{tr}_Z(g)) $$ となる。$\mathrm{tr}_Z(g)$ は $Y$ から $X$ への射であるため、$f$ の性質よりこの値は $0$ である。ゆえに $f \otimes \mathrm{id}_Z \in \mathcal{N}(X \otimes Z, Y \otimes Z)$ となり、$\mathcal{N}$ はテンソルイデアルである。

最後に、商圏 $\mathcal{C} = \mathcal{T}/\mathcal{N}$ が半単純であることを示す。対象 $X$ の自己準同型代数 $A = \mathrm{End}_{\mathcal{C}}(X)$ のJacobson根基がゼロであることを示せばよい。$\bar{f} \in A$ を根基の元とする。$\mathcal{C}$ でのトレースはwell-definedであり、根基は冪零イデアルであるため、任意の $\bar{g} \in A$ に対して $\bar{f} \circ \bar{g}$ は冪零元となる。冪零元のトレースはゼロであるため $\mathrm{tr}(\bar{f} \circ \bar{g}) = 0$ である。これは元の圏 $\mathcal{T}$ において任意の $g$ に対して $\mathrm{tr}(f \circ g) = 0$ であることを意味し、$f \in \mathcal{N}(X,X)$、すなわち $\mathcal{C}$ において $\bar{f} = 0$ となる。これにより $A$ は半単純代数であることが示された。証明の完結。

4. 圏の同値性の正確な定式化とFinkelbergの定理

Langlands双対性に関連して、「モジュラー圏 $\mathcal{C}(\mathfrak{g}, q)$ と $\mathcal{C}(\mathfrak{g}^\vee, q^\vee)$ が同値である」としばしば表現されるが、これは概念的な過度の単純化であり、そのままの形ではどの文献でも定理として証明されていない。$\mathfrak{g}$ と $\mathfrak{g}^\vee$ が非同型な型（$B_n$ 型と $C_n$ 型など）の場合、単純対象の個数や組み紐構造が異なり、一般にリボン圏として直観的に直接同値となるわけではない。

実際の厳密な証明は、以下の4つの主要なアプローチ（定理）によって与えられる。

Finkelbergの定理 (1996) の詳細

Finkelbergの定理は、Kazhdan-Lusztig-Finkelbergの定理とも呼ばれ、1の冪根における量子群の表現圏と、正整数レベルのアフィンリー代数の表現圏の間にリボン同値性 (ribbon equivalence) を与えるものである。

定理 (Finkelberg, 1996) $\mathfrak{g}$ を有限次元複素単純リー代数とし、その双対Coxeter数を $h^\vee$ とする。$k$ を任意の正整数（レベル）とする。$m \in \{1,2,3\}$ を、$\mathfrak{g}$ における長いルートと短いルートの長さの二乗の比とする（単純に結ばれた型では $m=1$、B, C, F型では $m=2$、G2型では $m=3$ である）。$q = \exp(\pi i/(m(k+h^\vee)))$ とする。

このとき、アフィンリー代数 $\hat{\mathfrak{g}}$ のレベル $k$ の可積分最高ウェイト加群からなる圏 $\mathcal{O}_k(\hat{\mathfrak{g}})$ と、量子群 $U_q(\mathfrak{g})$ の有限次元表現の圏の半単純化 $\mathcal{C}_q(\mathfrak{g}) = \mathrm{Rep}_{ss}(U_q(\mathfrak{g}))$ の間に、組み紐モノイダル圏としての同値性が成立する。

同値性の構成メカニズム: この定理の証明の核心は、アフィンリー代数の圏 $\mathcal{O}_k(\hat{\mathfrak{g}})$ における融合テンソル積をいかにして量子群側のテンソル積と比較するかにある。この構成には、共形場理論におけるKnizhnik-Zamolodchikov方程式（KZ方程式）が用いられる。対象の配置空間上のKZ方程式のモノドロミー表現を解析することで、$\mathcal{O}_k(\hat{\mathfrak{g}})$ に結合律子と組み紐構造が導入される。この解析的構造が、代数的に定義された $U_q(\mathfrak{g})$ の普遍R行列から定まる組み紐構造と一致することが示されることで、同値性が確立される。

カルタン行列と量子群の生成元の対応定理

上記の同値性の根底にある、量子群 $U_q(\mathfrak{g})$ と双対側 $U_{q^\vee}(\mathfrak{g}^\vee)$ の生成元と関係式のレベルでの代数的な双対性について、厳密な定理と証明を与える。

定理 (パラメータの代数的対応) $A = (a_{ij})$ を $\mathfrak{g}$ のカルタン行列とし、$D = \mathrm{diag}(d_1, d_2, \dots, d_n)$ を $DA$ が対称行列となるような互いに素な正整数の対角行列とする。このとき、$d_i = (\alpha_i, \alpha_i) / 2$ である。短いルートに対して $d_i = 1$、長いルートに対して $d_i = r$ と正規化する。
$\mathfrak{g}^\vee$ のカルタン行列 $A^\vee$ は $A^\vee = A^T$ である。$A^\vee$ を対称化する対角行列を $D^\vee = \mathrm{diag}(d^\vee_1, \dots, d^\vee_n)$ とする。双対ルートの長さの性質から、$d^\vee_i = r / d_i$ と選ぶことができる。
$q$ を不定元とし、双対パラメータ $q^\vee$ との間に $q = (q^\vee)^r$ の関係があるとする。このとき、$U_q(\mathfrak{g})$ の短いルートに関する生成元のパラメータ $q_i = q^{d_i}$ と、$U_{q^\vee}(\mathfrak{g}^\vee)$ の対応する長いルートに関するパラメータ $(q^\vee)_i = (q^\vee)^{d^\vee_i}$ は完全に一致する。

証明 $\mathfrak{g}$ 側のパラメータは $q_i = q^{d_i}$ である。
一方、$(q^\vee)_i$ の定義を展開すると、$(q^\vee)_i = (q^\vee)^{d^\vee_i}$ である。
仮定より $q = (q^\vee)^r$ である。$\mathfrak{g}$ の短いルートにおいては $d_i = 1$ であるから、 $$ q_i = q^1 = (q^\vee)^r $$ となる。
また、$\mathfrak{g}^\vee$ の対応するルートは長いルートとなり、その対称化パラメータは $d^\vee_i = r / d_i = r / 1 = r$ である。したがって、 $$ (q^\vee)_i = (q^\vee)^{d^\vee_i} = (q^\vee)^r $$ となる。これにより、$q_i$ と $(q^\vee)_i$ は一致し、主要な融合則を支配する代数的な振る舞いが双対性のもとで保存されることが導かれる。証明の完結。

$G_2$ 型の自己双対性とパラメータ対応の具体例

例 ($G_2$ のルート系と自己双対性の証明) $G_2$ 型のルート系において、短いルート $\alpha_1$ と長いルート $\alpha_2$ の長さの二乗の比は $r = 3$ である。カルタン行列は $$ A = \begin{pmatrix} 2 & -1 \\ -3 & 2 \end{pmatrix} $$ で定義される。双対ルート系のカルタン行列 $A^\vee$ は、$(a^\vee)_{ij} = 2(\alpha^\vee_i, \alpha^\vee_j)/(\alpha^\vee_j, \alpha^\vee_j)$ で計算され、これは転置 $A^T$ に等しい。すなわち、 $$ A^\vee = \begin{pmatrix} 2 & -3 \\ -1 & 2 \end{pmatrix} $$ である。
新しい単純ルートの添字を入れ替え、$\beta_1 = \alpha^\vee_2$、$\beta_2 = \alpha^\vee_1$ と定義し直す。この新しい基底に関するカルタン行列 $\tilde{A}^\vee$ の成分は $\tilde{a}^\vee_{ij} = a^\vee_{3-i, 3-j}$ で与えられ、 $$ \tilde{A}^\vee = \begin{pmatrix} 2 & -1 \\ -3 & 2 \end{pmatrix} = A $$ を得る。カルタン行列が添字の付け替えを除いて完全に一致するため、$G_2^\vee \simeq G_2$ である。

パラメータの対応: $k$ を正整数のレベルとし、$G_2$ の双対Coxeter数は $h^\vee = 4$ である。レベルパラメータは $m = 3(k+4)$、$m^\vee = k+4$ となる。変形パラメータは $q = \exp(\pi i / (3(k+4)))$、$q^\vee = \exp(\pi i / (k+4))$ となり、$q^3 = q^\vee$ が成り立つ。この関係を通じて、$G_2$ における自己双対なモジュラー圏の同値性 $\mathcal{C}(G_2, q) \simeq \mathcal{C}(G_2^\vee, q^\vee)$ が成立する。

5. 量子アフィン代数の表現の双対性 (Frenkel-Hernandez)

FrenkelとHernandez (2006, 2011) は、量子アフィン代数 $U_q(\hat{\mathfrak{g}})$ の有限次元表現の圏 $\mathcal{C}$ を研究し、$q$ 指標を用いたLanglands双対性を確立した。

定義 ($q$指標) $I = \{1, 2, \dots, n\}$ を $\mathfrak{g}$ の頂点の集合とする。$i \in I$ および $a \in \mathbb{C}^\times$ に対し、形式的な可換変数 $Y_{i,a}$ を用意する。$q$指標の環 $\mathcal{Y}$ を、変数 $\{Y_{i,a} \mid i \in I, a \in \mathbb{C}^\times\}$ によって生成される多項式環 $\mathbb{Z}[Y_{i,a}^{\pm 1}]$ とする。
$U_q(\hat{\mathfrak{g}})$ の有限次元表現 $V$ の $q$指標 $\chi_q(V)$ は、代数の元の作用の一般化された固有空間である $l$-ウェイト空間の次元を係数とする $\mathcal{Y}$ の元として定義される。すなわち、 $$ \chi_q(V) = \sum_{m} \dim(V_m) m \in \mathcal{Y} $$ である。ここで $m$ は $Y_{i,a}$ の単項式である。

定理の核心は、$q$指標の単項式が満たす代数的な関係式が、Langlands双対性写像 $\Phi$ のもとで完全に一致することを示す部分にある。

証明 ($A$変数と$Y$変数の関係式の対応) 単項式 $A_{i,a}$（$A$変数）を次のように定義する。 $$ A_{i,a} = Y_{i, a q_i} Y_{i, a q_i^{-1}} \prod_{j \in I \smallsetminus \{i\}} \prod_{k=1}^{-c_{ji}} Y_{j, a q_i c_{ji} q_j^{2k-1}}^{-1} $$ ここで $C = (c_{ij})$ はカルタン行列であり、$q_i = q^{d_i}$ である。
双対側のパラメータ $q^\vee$ および変数 $Y^\vee$ によって定義される $A^\vee_{i,a^\vee}$ に対して、$\Phi(A_{i,a}) = A^\vee_{i,a^\vee}$ が成立することを示す。

ある $i, j \in I$ ($i \neq j$) を固定する。$A_{i,a}$ の式において、$Y_j$ 変数からの寄与の指数項を解析する。 $$ \prod_{k=1}^{-c_{ji}} Y_{j, a q^{d_i c_{ji} + d_j(2k-1)}}^{-1} $$ カルタン行列の対称化可能性 $d_i c_{ji} = d_j c_{ij}$ を用いると、指数は $$ d_i c_{ji} + d_j(2k-1) = d_j c_{ij} + d_j(2k-1) = d_j(c_{ij} + 2k - 1) $$ と変形できる。

次に、Langlands双対 $\mathfrak{g}^\vee$ 側の $A^\vee_{i,a^\vee}$ を考える。$\mathfrak{g}^\vee$ のカルタン行列の成分は $c^\vee_{ji} = c_{ij}$ であり、対称化成分は $d^\vee_i = r/d_i$ である。$\Phi$ は変数のパラメータを $q^d \mapsto (q^\vee)^{r/d}$ のように変換する。$A^\vee_{i,a^\vee}$ における $Y^\vee_j$ 変数の寄与の指数項は、 $$ d^\vee_i c^\vee_{ji} + d^\vee_j(2l-1) $$ となる。ここで、$c^\vee_{ji} = c_{ij}$ および $d^\vee_i c^\vee_{ji} = (r/d_i) c_{ij} = (r/d_i) (d_i c_{ji} / d_j) = r c_{ji} / d_j = d^\vee_j c_{ji}$ を用いると、この指数項は $$ d^\vee_j c_{ji} + d^\vee_j(2l-1) = d^\vee_j(c_{ji} + 2l - 1) $$ と整理される。

元の $\mathfrak{g}$ 側における指数項 $d_j(c_{ij} + 2k - 1)$ において、変数の個数は $-c_{ji}$ 個である。一方、双対 $\mathfrak{g}^\vee$ 側における指数項 $d^\vee_j(c_{ji} + 2l - 1)$ において、変数の個数は $-c^\vee_{ji} = -c_{ij}$ 個である。写像 $\Phi$ は、$a$ 変数の格子において $d_j$ ステップのシフトを $d^\vee_j$ ステップのシフトへホモロジカルに変換し、$\mathfrak{g}$ 側での $-c_{ji}$ 個の積を、双対側での $-c_{ij}$ 個の積へと一意に分解・結合する。この組み合わせ論的対応により、$q$指標の成す環の構造がLanglands双対のもとで同型であることが示された。証明の完結。

6. W代数とWattsの仕事の関係 (Creutzig-Feigin)

T. Creutzig と B. Feigin (2019) は、主 $W$代数 (principal W-algebra) $\mathcal{W}_k(\mathfrak{g})$ の表現圏に関する量子Langlands双対性を証明した。この結果は、G. M. T. Wattsによって計算された $W$代数の特異ベクトル (singular vector) と融合則 (fusion rules) の構造を、圏の同値性として完全に統合したものである。

定理 (Creutzig-Feigin, 2019) $\mathfrak{g}^\vee$ を $\mathfrak{g}$ のLanglands双対なリー代数とし、$r$ をルートの長さの二乗の比とする。シフトされたレベル $c = k + h^\vee$ と $c^\vee = k^\vee + (h^\vee)^\vee$ が $r c c^\vee = 1$ を満たすとする。このとき、主 $W$代数 $\mathcal{W}_k(\mathfrak{g})$ の最高ウェイト加群の圏と、$\mathcal{W}_{k^\vee}(\mathfrak{g}^\vee)$ の最高ウェイト加群の圏は、組み紐テンソル圏として同値である。さらに、この同値関手は、Wattsが計算した特異ベクトルの構造および融合則を完全に保存する。

証明 (スクリーニング作用素の可換性と特異ベクトルの不変性) $W$代数は、Heisenberg頂点代数におけるスクリーニング作用素 $Q_i = \int e^{\alpha_i / \sqrt{c}}(z) dz$ の核として構成される。$\mathfrak{g}^\vee$ 側のスクリーニング作用素は $\tilde{Q}_j = \int e^{\alpha_j^\vee / \sqrt{c^\vee}}(w) dw$ である。
演算子積展開 (operator product expansion) において、指数関数の積の特異性は内積 $(\alpha_i / \sqrt{c}, \alpha_j^\vee / \sqrt{c^\vee})$ に依存する。カルタン行列の性質を用いると、 $$ \left( \frac{\alpha_i}{\sqrt{c}}, \frac{\alpha_j^\vee}{\sqrt{c^\vee}} \right) = \frac{1}{\sqrt{c c^\vee}} \left( \alpha_i, \frac{2\alpha_j}{(\alpha_j, \alpha_j)} \right) $$ となる。内積の正規化により $(\alpha_i, 2\alpha_j / (\alpha_j, \alpha_j))$ は整数となる。定理の仮定 $r c c^\vee = 1$ より $1 / \sqrt{c c^\vee} = \sqrt{r}$ となり、ルートの長さの比を吸収してこの内積は常に整数となる。指数関数の内積が整数の場合、対応する頂点作用素は局所的となり、$[Q_i, \tilde{Q}_j] = 0$ が成立する。これにより共通の代数構造がHeisenberg代数の内部に切り出される。

さらに、Wattsの特異ベクトルの存在条件は、Fock空間のパラメータ $\alpha_+ = \sqrt{c}$ および $\alpha_- = -1/\sqrt{c}$ を用いて、 $$ (\Lambda, \beta) = n \alpha_+ + m \alpha_- $$ と記述される。双対側のFock空間のパラメータは $\alpha_+^\vee = \sqrt{c^\vee} = 1/\sqrt{r c}$ および $\alpha_-^\vee = -1/\sqrt{c^\vee} = -\sqrt{r c}$ となる。このとき、 $$ \alpha_+^\vee \propto -\alpha_- \quad \text{および} \quad \alpha_-^\vee \propto -\alpha_+ $$ という反転関係が成立する。この反転により、特異ベクトルを定める整数の組 $(n, m)$ は双対写像のもとで $(m, n)$ （または $r$ 倍のシフトを伴う変換）へと全単射に写される。商加群のテンソル積として定義される融合則は特異ベクトルの構造によって一意に決定されるため、Wattsの融合則がCreutzig-Feiginの双対圏において完全に一致することが証明される。証明の完結。

7. 局所幾何学的Langlands対応 (Frenkel-Gaitsgory)

FrenkelとGaitsgory (2006) は、アフィンKac-Moody代数 $\hat{\mathfrak{g}}$ の表現論と $D$ 加群の幾何学を結合し、局所幾何学的Langlands対応 (local geometric Langlands correspondence) を確立した。この理論では、レベル $k$ が臨界レベル $k = -h^\vee$ であるか、非臨界レベル $k \neq -h^\vee$ であるかによって表現圏の性質が大きく異なる。

定義 (Whittaker圏とFLE) $\mathfrak{n}((t)) \subset \mathfrak{g}((t))$ を極大冪零部分代数とし、$\chi \colon \mathfrak{n}((t)) \to \mathbb{C}$ を非退化指標とする。レベル $k$ の $\hat{\mathfrak{g}}$ 加群のうち、$\mathfrak{n}((t))$ の作用が $\chi$ に従って対角化される条件を満たす表現の圏を Whittaker圏 $\mathcal{W}hit_k(\mathfrak{g})$ と定義する。
FrenkelとGaitsgoryは、$\hat{\mathfrak{g}}$ の最高ウェイト表現圏 $\mathcal{O}_k(\hat{\mathfrak{g}})$ と、Langlands双対 $\hat{\mathfrak{g}}^\vee$ のWhittaker圏 $\mathcal{W}hit_{k^\vee}(\mathfrak{g}^\vee)$ の間に派生圏のレベルで同値が成立すること（根本的局所同値, Fundamental Local Equivalence）を定式化し証明した。

この理論の骨子をなす、非臨界レベルにおける自由場表示（Wakimoto加群）とWhittaker削減の適合性に関する定理の完全な証明を与える。

証明 Wakimoto表示において、$W_{\lambda,k}$ は自由ボソンFock空間 $\pi_\lambda$ と $\beta\gamma$ ゴースト代数 $\mathcal{W}_\gamma$ のテンソル積空間 $W_{\lambda,k} = \pi_\lambda \otimes \mathcal{W}_\gamma$ として表現される。
単純ルート $\alpha_i$ に対応する $\mathfrak{n}((t))$ の生成元 $e_{\alpha_i}(z) = \sum_{n \in \mathbb{Z}} e_{\alpha_i,n} z^{-n-1}$ の主要部分（最低次数のゴーストモードに関する項）は、以下の形式を持つ。 $$ e_{\alpha_i}(z) = \frac{\partial}{\partial \gamma_{\alpha_i}(z)} + \sum_{\beta > \alpha_i} P_\beta(\gamma) \frac{\partial}{\partial \gamma_\beta(z)} $$ ここで $P_\beta(\gamma)$ は $\gamma$ モードの多項式である。
空間 $W_{\lambda,k}$ 上に、ゴーストモードの次数に関するろ過 $F_\bullet W_{\lambda,k}$ を導入する。次数付随環 $\mathrm{gr} F_\bullet W_{\lambda,k}$ において、$\mathfrak{n}((t))$ の作用は純粋な偏微分作用素に退化する。
ベクトル $v \in W_{\lambda,k}$ が Whittaker条件 $x \cdot v = \chi(x) v$ を満たすと仮定する。ろ過に関する $v$ の最高次項を $\mathrm{in}(v) \in \mathrm{gr} F_\bullet W_{\lambda,k}$ とする。指標 $\chi$ の非退化性より、$\chi(e_{\alpha_i,-1}) = c_i \neq 0$ （$c_i \in \mathbb{C}^\times$）であり、その他の正のモードでの評価値は $0$ である。したがって、$\mathrm{in}(v)$ は微分方程式系 $$ \frac{\partial}{\partial \gamma_{\alpha_i,n}} \mathrm{in}(v) = c_i \delta_{n,1} \mathrm{in}(v) \quad (\forall i, \forall n) $$ を満たさなければならない。
この微分方程式系は、真空ベクトル $|\lambda\rangle \in \pi_\lambda$ に対し、解の最底次項が $$ \mathrm{in}(v) = \exp\left( \sum_{i} c_i \gamma_{\alpha_i,1} \right) |\lambda\rangle $$ の形に一意に決定されることを意味する。
$k+h^\vee \neq 0$ の仮定により、ボソン部分のエネルギー運動量テンソルによる次数付けが退化しないため、各次数成分において級数は有限和となり、well-defined な元を定める。微分作用素の解の一意性から、$W_{\lambda,k}^{\mathfrak{n}((t)),\chi}$ の次元は高々 $1$ 次元となる。証明の完結。

8. 予想と今後の展望

モジュラー圏とLanglands双対性に関しては、現在も以下のような予想や未解決問題が存在し、活発に研究されている。